$\forall$$A$:$\mathbb{P}$. ($A$ \& True) $\Leftarrow\!\Rightarrow$ $A$